WEYL GROUP MULTIPLE DIRICHLET SERIES OF TYPE C arXiv:1003.1158v2 [math.NT] 22 Jun 2010 JENNIFER BEINEKE, BEN BRUBAKER, AND SHARON FRECHETTE Abstract. We develop the theory of “Weyl group multiple Dirichlet series” f

Source URL: mathcs.holycross.edu

Imperative Programming in Sets with Atoms∗ Mikołaj Bojańczyk and Szymon Toruńczyk University of Warsaw, Warsaw, Poland Abstract We define an imperative programming language, which extends while programs with a type

Source URL: www.mimuw.edu.pl

Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski1 , Amal Ahmed2 , Greg Morrisett1 , and Lars Birkedal3 1 2

Source URL: www.ccs.neu.edu

NOTES ON ENTOURAGES AND LOCALIC GROUPS JORGE PICADO AND ALEŠ PULTR Abstract. The relation between the cover (Tukey type) uniformities and the entourage (Weil type) ones, in the point-free context, is studied and a trans

Source URL: iti.mff.cuni.cz

Techniques of Precipitation Analysis and Prediction for High-resolution Precipitation Nowcasts The Japan Meteorological Agency* Abstract High-resolution Precipitation Nowcasts (HRPNs) – a type of close-up high-precisio

Source URL: www.jma.go.jp

CT for Binary Codes draft-zhang-trans-ct-binary-codes-03 Dacheng Zhang Daniel Kahn Gillmor Changes since IETF91(1)

Source URL: www.ietf.org

• Procedural programming languages
• Cross-platform software
• Data types
• C
• Enumerated type
• Type theory
• Struct
• Abstract Syntax Notation One
• D
• Binary star
• ALGOL 68
• Binary code

STRINGY BUNDLES AND INFINITE LOOP SPACE THEORY J.M.GOMEZ, P. HU AND I. KRIZ 1. introduction In this note, we describe a new a candidate for an elliptic cohomology-type spectrum based on conformal field theory. The new mo

Source URL: www.math.lsa.umich.edu

• Abstract algebra
• Algebra
• Mathematics
• Category theory
• Functors
• Fibred category
• Natural transformation
• Equivalence of categories
• Universal property
• Grothendieck topology
• Sheaf
• Forgetful functor

This is my title – Abstract title Author1, Author 2 and Author n. Institutional Affiliation You abstract should not be more than 250 words. Please type you abstract here.

Source URL: www.sgrfconferences.org

A topos-theoretic approach to Stone-type dualities Olivia Caramello The abstract

Source URL: www.oliviacaramello.com

NON-DISCRETE COMPLEX HYPERBOLIC TRIANGLE GROUPS OF TYPE (n, n, ∞; k) SHIGEYASU KAMIYA, JOHN R. PARKER AND JAMES M. THOMPSON Abstract. A complex hyperbolic triangle group is a group generated by three involutions fixing

Source URL: maths.dur.ac.uk